Memory safe execution of C